2 : (
)e where p implements T
e